81. Fatimid institutions of learning -- Succession to rule in the Shiite caliphate -- The Ismaili da'wa in the reign of the Fatimid caliph al-Hakim -- Another family of Fatimid chief Qadis : the al-Fariqis -- A Byzantine victory over the Fatimids at Alexandretta (971) -- The "crusade" of John Tzimisces in the light of new Arabic evidence -- Al-Maqrīzī and the Fatimids -- Purloined symbols of the past : the theft of souvenirs and sacred relics in the rivalry between the Abbasids and Fatimids -- "In praise of al-Ḥākim" : Greek elements in Ismaili writings on the Imamate -- Abū Tammām and his Kitab al-Shajara : a new Ismaili treatise from tenth-century Khurasan -- An Isma'ili version of the heresiography of the seventy-two erring sects -- Eternal cosmos and the womb of his
پدیدآورنده : Paul E. Walker.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
82. Foundations; essay in philosophy, logic, mathematics and economics
پدیدآورنده : / F. P. Ramsey,Ramsey
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
511
.
308
R181F
83. Frege's philosophy of mathematics
پدیدآورنده : edited by William Demopoulos
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Mathematics -- Philosophy,Addresses, essays, lectures ، Mathematical analysis -- Foundations,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
8
.
6
.
F73
84. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
85. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean, 2191-6891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
86. From a logical point of view
پدیدآورنده : / Willard Van Orman Quine [with a new foreword by the author]
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
رده :
BC71
.
Q48
1961
87. From a logical point of view
پدیدآورنده : Quine, W. V.)Willard Van Orman(
کتابخانه: کتابخانه دانشکدگان فارابی دانشگاه تهران (قم)
موضوع :
رده :
BC
71
.
Q48
1980
88. From a logical point of view: 9 logico-philosophical essays
پدیدآورنده : Quine, W. V. )Willard Van Orman(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Addresses, essays, lectures ، Logic
رده :
BC
71
.
Q48
1980
89. From a logical point of view, 9 logico philosophical essays
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic - Addresses, essays, lectures
رده :
160
.
81
Qu-F
90. From a logical point of view: 9 logico-philosophical essays
پدیدآورنده : Quine, W. V. )Willard Van Orman(
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : Addresses, essays, lectures ، Logic
رده :
BC
71
.
Q8F7
91. Handbook of Philosophical Logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Logic- Addresses, essays, lectures
رده :
BC
،
6
،.
H36
،
1983
92. Handbook of philosophical logic
پدیدآورنده : edited by D. Gabbay, F. Guenthner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic
رده :
BC
6
.
H36
93. Harvey Friedman's research on the foundations of mathematics
پدیدآورنده : edited by L.A. Harrington...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Mathematics -- Philosophy,، Friedman, Harvey, 8491-
رده :
QA
8
.
6
.
H37
1985
94. Includes bibliographical references and index. 0
پدیدآورنده : edited by Karen R. Polenske.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
95. Infinitary logic : in memoriam Carol Karp
پدیدآورنده : a collection of papers by various authors; edited by D. W. Kueker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory
رده :
QA
3
.
L28
Vol
.
492
96. Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
پدیدآورنده : edited by D. W. Kueker
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Infinitary languages,Addresses, essays, lectures ، Model theory,، Karp, Carol, 6291-2791
رده :
QA
1
.
L4
v
.
492
97. Integrated injection logic
پدیدآورنده : / edited by James E. Smith
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع : Integrated injection logic - Addresses, essays, lectures,Digital integrated circuits,Logic circuits
رده :
TK
7874
.
I5
98. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
99. Introduction -- At the Shrine of Our Lady of Fatima; or, why political questions are not all economic -- The allocation and distribution of resources -- Values and preferences -- Can we put a price on nature's services? -- Do we consume too much? -- Is an environmental ethic compatible with biological science? -- Settling America or the concept of place in environmental ethics -- Natural and national history -- Environmentalism : death and resurrection. 0
پدیدآورنده : Mark Sagoff.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
100. Introduction -- 1. Earlier movements -- 2. Bayan ibn Sam'an and the Bayaniyya -- 3. al-Mughira ib
پدیدآورنده : William F. Tucker.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
